Sadly, timing belt was done a few months ago.
I'm just glad that realistically just 1 shim needs to be changed. If I manage to figure out how to get them out comfortably, I'll do the 0.012 for PM reasons.
Thanks for the quick advice everyone, I haven't been on this forum much lately, mostly...