I'm also after a set of pedals. There were thought to be some available for the Mii (that appeared in an earlier brochure) but currently they are not available.
I followed through the linked thread and I didn't think that it was clear what the options were. The link to Awesome GTi just took me to the main page and the search function didn't appear very good.
I have noticed that there are a set available for the Ibiza, so I'll be checking to see if they will work