A garage can most definitely install an aftermarket one. That’s what they’ll most likely use because it’s expensive to get an oem one. Buy it on your own and have them install it to save you some money. Sorry those guys stole yours.