you really need to check it, no telling what's been installed over the last 50 years - might be able to just remove the lower dust cover and get a good measure, original would have been 10", but 11" [HD option?] should fit and may be more readily available
Bill