Wait, how did you get the MK8 files? The index of Wii U posted in the facepunch thread only had sounds in it?
And Captain Toad uses the same format as 3D world, if that interests you.
i got the MK8 files from Soneek. well more like, Soneek looked into the model format for me, and told me it uses fres and fmdl, so that made me happy. then Soneek sent me a file to download NUS files from the eshop server for MK8 so that i can get the files myself.
as for captain toad, thanks for telling me. im currently downloading its iso.
edit:
here's a pastebin list i made for wii u game model listing.. might want to ignore the Emu/FBC listing if u like..
http://pastebin.com/nyYVVSnm