I just found a useful Virgin website but for some reason can’t c&p the link on my phone without getting a load of rubbish. Anyway if you Google “minimum connection times Haymarket”, which is what I was looking for, it’s about five hits down the results. Loads of info including connection times for all Virgin stations.
My point was that the link shows the minimum connection at Waverley is 10 minutes, while Glasgow Central is 15, despite being a much simpler layout.
I just asked the TM if I can change at Haymarket onto the Aberdeen train even though my Advance gives me a 10 minute connection at EDB, and he was absolutely fine about it. I can’t see the LNER TM objecting as I have a valid reason in that I always get lost at Waverley.