Awesome! Nice port. Same question as on lode runner. Have you considered supporting the Colour PET?
(colour RAM in $8800-, with 4 bits fg, 4 bits bg colour, RGBI palette) In VICE switch on in the Machine settings menu
Many thanks for supporting the Commodore PET!