The Yamaha AN1x Synthesizer mailing list

Hi,

I've managed to get 3 Yamaha disks:

VD-AN1x-01, "Analog classics"
VD-AN1x-02, "Analog plus"
VD-AN1x-03, "Secuence basics"

Were the disks bundled with AN1x? (I bought my AN1x second hand) 
Were just sold separately? 
Are they an official Yamaha release? (it seems so) 

I'd appreciate further info. Thanks.