Very good find Bruce, these could get a lot of Jensen #45's steaming and operational again.
That is my hope Jim , a metal cutting bandsaw is useful , but this could be done with a hacksaw or grinder to remove the 1/8" off the outside diameter of the hot plate.