I have managed to find that the board is made by Mitac. there is a motherboard for a 7009 on ebay which states it is marked with 316671700002-R0B (I am assuming mine would be the same, as surely there wouldnt be any different ones?)
From a google search this comes out as a Mitac 8575 series motherboard.
Does this sound right? To find the bios for it will i just need a generic one for the 8575 series or with the specific 316671700002-R0B list?