Well, as it turns out the repair shop didn't try at all! Guess the trick was disconnecting the battery for a while, which obviously the shop didn't even try. Good thing they didn't charge me.