Same here, I just picked up a Little Dot MKIII at Mingo in Hong Kong and it also has different tubes, the tubes have "JRC" printed on them, and "U.S.A. 5654" and "34F" somewhere. Seems to me these are RCA's, too.
Being new to tubes, are these RCA's a good thing or would I have been better off with the GE tubes others seem to get delivered with their new LD's?
Just so you know what MKIII I got - I peered through the holes underneath to see "Version 4.0" printed on the board inside.
A shop quite close to my office is selling Mullard CV4010's and GE Jan 5654W's for a good price, would these be upgrades or downgrades versus the RCA's that my MKIII got delivered with? I read good stuff about the CV4010's, should I go get a pair of those?