These are cylindrical, low-gauss ferrite magnets called 'trimming
magnets' or 'pincushion magnets'. A lot of cheaper CRT devices use 'em to
tweak the display. They're a pain in the butt, especially the ones near
the front of the CRT that gradually get demagnetized with each power-on
degauss cycle.
They are sometimes available at larger 'real' hardware stores (in the
US) like True Value, etc.
Or, as was wisely suggested, cannibalize them from another junk tube.
Chees
John