glad to hear that is ok, i was worried there might be some damage!!!
i had never done gear oill in any car before and was told i should do it in the DC5 especially coz there is an aftermarket diff in it. So glad i have a magnetic plug though!!! Ordered one for engine oil as soon as i got in!!!
theres also another magnetic strip inside the box you cant get at unkless its in bits, if they were out of my engine id be more worried, but the box its not so uncommon, everytime you crunch a gear etc you cause a bit of damage