I purchased a set of Bosch WR8CC plugs from CIP and they were listed as fitting Bus 72-79/Vanagon 80-83. However what I got in the box was WR8AC. When I compare them to the NGK B6ES plugs I pulled out, the Bosch plugs have a shorter thread length. After some more Googling, it seems like the WR8AC plugs are for a type 1 engine.
Rather than sending them off, I will instead offer them to a club member that could use them. $10 for the set of 4, brand new and never installed.