They don't seem very good do they?
Aren't most shows just cast recordings if they do get released? I don't know, maybe since this is something a bit different with Bono and Edge being major recording artists themselves, we could see something unusual, but they probably are just happy to be credited as the songwriters. However it also seems that at least this one song has already been properly recorded by them, and possibly we could see them include one or more songs in their lists like they did with Batman, but then again that was U2, where this is Bono and Edge only. Of course they could always bring Larry and Adam in if they really wanted to and still make a U2 recording.
I just think 402 is so wonderfully "U2" it would be a shame to never hear it that way. And from the description that reviewer gave of all the songs a few months ago, it sounds like there are more really great songs where this one came from. Another thing is that if they were to release the songs as U2 or Bono and Edge and get played on the radio it would be a way to promote the Broadway show as well.
Again doesn't seem very likely, but also again this is a new and different situation and if anyone is going to try it, I could see it being them. I don't know, I could be wrong. Are there any other similar situations like this one where the writers/artists released their own versions? Anyway, I hope my doubts are wrong, and we get the record!