As always check sold/completed listings on sites such as eBay, Reverb, HifiShark
And yes the tubes were branded with ARC logo manufactured by an entity they enlisted to provide them with tube. A lot of companies did that back in the day such as Magnavox, Baldwin, Webcor etc. The good thing for you is that it indicates they are the original tubes