wow thats a great find, i certainly did not find that when fixing mine, a lot of parts are out now which is a nice perk.
If you want to save time then yes printing it will be much easier.
I print my stuff on a prusa mk2s and mk3, most printers will be just fine, you can use ABS for a nice...