Been researching this for some time in the last few weeks and found that the IPS7081 was sold in some eBay VTEC Kits as an IPS521/SK5151 replacement . I found a similar one to that on mouser.com, it's called AUIPS7081 there. You can probably also use the AUIPS7091 which can only stand a little lower currents, but it should be enough I guess.. the solenoid should only get about .9-1 A at most, as its resistance is 14-30 Ohms from what I can get out of the workshop manuals. The AUIPS7091 has a recommended Iout maximum of 1.5A and the AUIPS7081 has a recommended maximum of 2.3A..
Note that you have to insulate and swap the pins 3 and 5 on these, too.
Hope this is not necroing as the forums have been down for quite a while and it might still help people.