Both are gently used, in like-new condition with box and manual for both. I fought tooth and nail to get 7th style and RED (bought it when it first came out for $80), but my PS2's gone and done; won't even read NTSC US games anymore.
IIDX 7th Style:
http://cgi.ebay.com/ws/eBayISAPI.dll...m=260047154618
IIDX RED:
http://cgi.ebay.com/ws/eBayISAPI.dll...m=260047157485
Happy bidding!