(Sorry for the delay - my internet has been down for three days. Lightening at the ISP, I think.)
Thanks, I'll check this the next time I see her computer.
There's a bug in WUBI (of which mint4win is based, I believe) that causes WUBI not to work when the media is a DVD. I'd originally pulled the DVD for 32 bit and 64 bit when Mint 9 was first released and tried the install with those. (If anyone wants a reference for that, it's https://wiki.ubuntu.com/WubiGuide#DVD%2 ... nate%20ISO
So then I pulled down the CD and installed it on her computer. Same result. When I reboot, it booted directly into Windows (Vista, in this case) and still had no Mint or anything Linux anywhere.
Again, I'll check the msconfig... Thanks.