Alright, a bit of an update:
My dad made his way over, we looked around and poked around and could not find that adjustment bolt. We were able to loosen the two bolts in the back, the one in the front, and just kept the frozen bolt as it was, and use a screwdriver to pry the PS pump to hold tension. No krikit, but it seems to pass the 90-degree twist-test. One thing I do notice is that before the belt change, the battery voltage gauge would read ~14.5V, now its reading 14.0V pretty consistently. Something I should be concerned about? I drove around for about 10 mins, and the belt felt tight enough when I checked it again.