No, these can install on your already formatted Wii U drive. All of these guides assume you have 32 gig console and have not yet used a USB drive for your storage on Wii U. In my case I already have been using USB drive since I have 8gig model and tons of eShop bought games with big updates and DLC amounts. The same drive suffices for installing "Tickled Titles" - ... Yes, I want these to be called "Tickled" or "Brazilian Tickled" titles.
Thanks, they should write the guide better. Even a 32GB fills up fast. How big is just Smash Bros? It's like half that already isn't it? And Mario kart is what, like 8GB? It all adds up.