Astron Belt (VIP9500SG mode) confirmed working in Dexter!
I just finished up experimental support for the Hitachi VIP9500SG laserdisc player for Dexter. (BTW, I learned that the 'SG' apparently stands for SEGA hehe). Warren tested it out yesterday and it seems to mostly work. There may be a few defects but frankly it's hard to tell what "working correctly" looks like on this game since it's so poorly designed :)
I'll be adding this new firmware update to Dexter Manager soon (it's not quite available).