Just been walking at the WARMA march last weekend, and a Dutch group went by us the first day and were singing "hail oh hail oh infantry", but it did sound like halo Infantry. And that would make sense because I heard "Airbourn rangers life for me". But since googling hail oh hail oh infantry I found this link http://users.netropolis.net/schwartz/jodie.htm Was still a good song and has been stuck in my head all week.