It sounds like you have found what you need. For what it's worth, I did have the disassembler tucked away out of view from my first try to find it, but it appears to be a more recent version than d51v22.zip that's on the Philips download site. The one I have is d51v26.zip circa 1998. I don't know what changed between version 2.2 and 2.6, but thought I'd mention that an apparently newer version exists.