On my flight yesterday (first one ever on VA), according to the Red system it was $9.99 plus applicable sales tax.
I may just buy one on the way home Thursday to check it out.
That isn't too bad. $9.99 is cheaper than a lot of neck pillows. If you pick one up, please let us know what it is like?