Batman and Spider-Man 2099

I remember when Marvel introduced it's line of 2099 titles and checking them out.  Spider-Man 2099 was my favorite of the bunch (although I did like Doom 2099 as well) and indeed is the one character from that initiative that has seemed to have any staying power.  He seems to pop up in a Spider-man related title or even a video game every now and then.  I definitely dig his look and the fact that he was a new character and not just a descendant of Peter Parker.  Have Miguel O'Hara and Peter Parker ever shared an adventure together?  That's a tale I would like to read.