Yes, it’s just interesting to ponder how many bikes where they knocking out? (modest prize for the Roberts serial number with the highest last 2 - or 3! - digits ….)
I've just collected the bike...it's Dura Ace 7400 everywhere (even got the 7400 seat pin and original Cinelli bars and stem). Sadly not a riding day today.