(06 Apr 2014, 7:18 pm)missedbus wrote Is 5231 still VOR? If so, this effectively means that 5229 is covering for 5231, and 5210 is covering for 5229, so it cannot go to be branded until 5231 is back?
It is still VOR, but assuming there are no other VORs on a particular day, it should be fine for 5210 to be branded because 8228 is still active and they will have their two full sized single deckers.