I've got a wee update on the BKK airport situation.
I did a border bounce by air on Monday 20.
Advice on arrival time varied, Thai Air said 4, my booking company said 3 and my airline {Viet Jet} said 2. So, to be on the safe side I arrived at 7:45 for my 11:45 flight. Check in didn't open until 8:45, so 1 hour wasted. It then took me another hour to check in and clear passport control. 2 hour wait for departure and no sign of any serious queueing.