Hola,
el ZX Spin si que usa .zip lo que para cargar un .Z80 tienes que elegir load snapshot, no insert tape. El .cas no lo soporta, aunque si acepta el .csw.
Yo personalmente desde que descubrí el .tzx apenas uso los otros formatos...
Saludos.