Collectors quality you say? Shipping companies dime you say? Well I know HEP makes things "like new" again.

this is over $100 with shipping and out of stock
https://www.marcospecialties.com/pinball-parts/500-5921-51

another $211 for decals plus shipping

https://www.retrorefurbs.com/shop/batman-the-dark-knight-pinball-cabinet-decals/

this guy does WPC cabinets for 900-1400 but unsure of stern
https://virtuapin.net/index.php?main_page=product_info&cPath=19&products_id=136&zenid=57ffrd9n8q7t890n12br5dkhj6

Maybe ask the guy for connections to the $200 dollar back in collectors condition repair.
Cheaper to repair than total it. If it were auto insurance they would just replace it and throw the old in a junkyard lol.
header does not look to bad honestly but to be collectors quality again is gonna cost some money.
Could it easily be made players condition for $500 sure but not collectors condition. This hurts value IMO!