That's what I thought as well. My suspicion is it's IC1 (the SI5351) as the pin that got shorted to 13.8V is also connected to one of the inputs to IC1. But I'll need to verify.
A quick search online is showing everyone is out of stock of SI5351 chips. Might need to shelve this project for a while...