Hey Doy - I don't have the machine anymore... sorry. Those are the correct part numbers.
The new bulb I installed was slightly longer than the old bulb, but it did fit in the bracket with the bulb springs removed.
Get the bulb first to make sure it fits in your machine, and then order the rest of the parts. You'll also need a soldering iron, solder, shrink wrap tubing and some 600v hookup wire if you don't already have all that stuff.
Careful - 300vac isn't fun voltage. Be careful in there.
Mike