Ahhh, so this suggests that early bays didn't have the spring (aside: I find the VWH mobile site quite lacking!).
Damn, I thought that if I were missing it it would explain my pedal return issues - guess it is cable snag after all!
Based on the pictures there, it looks like the pedal pen is just an interference fit, so I should just be able to tap it out to replace?
EDIT: or do EBs have this type: https://www.vwheritage.com/shop/bay-bus/211721619/locating-spring-acc-pedal-pin-for-original-pin-o/?crumbStartPage=1&crumbStartRow=1" onclick="window.open(this.href);return false; ?