I never saw 10base5 coax, but I worked in a lab in the day with massive thick 15 pin cables everywhere (AUI?), and 4 port hubs (that is combine 4 computers into one uplink that I supposed eventually went to coax in the ceiling, though I only saw it go to yet another such hub. The office was 10baseT already, but the lab had a lot of older computers.