I don't think they should have been merged. The older thread was more about highres games AND interlaced games, not specifically games that are both highres and interlaced at the same time (hires-laced) which appear to be a rarity. Just a thought, not trying to be an ass to you or anything
Thanks everyone for the suggestions. Right now I'm looking forward to comfirming "Pinball Illusions", but I doubt it's going to be a genuine hires-laced game because it's default, non-laced mode is just plain lowres overscan, it isn't even regular hires.