Yes it is about the locking issue. If you were able to delete the font directly, Bob, you are fine. Sometimes it happens though that open handles to fonts are not closed properly, and then the fonts remain locked. The trick with renaming the font extension would always work in that case
