All those ant bits listed above can be bought for £80 + postage excluding the hpxf servo.
I may or may not have sold the flipper ant, if your interested it might still be for sale.
Shame to see the lack of activity on here but someone will have a use for all that stuff at that price im sure.