PS5 HDMI Port Repair and General Tips on HDMI and other port replacement

Thanks for sharing. I do quite a few HDMI ports but it's always good to pick up little tips here and there from other techs. Sometimes there's a different way of doing a step in the process that I find to be more comfortable so I adopt it.

What type of Hot Air station is that and the holder please ??