Ouch. That sucks.
Fortunately...sorta...we were smart enough to get the insurance. He can get it replaced for $50. Still, it’s a pain in the butt.