In case anyone was curious, this Japanese site claims that the file size of the game is about 1GB if you were planning on downloading it digitally. Might wanna get a new SD card if you still have the 2GB card included with the non-XL 3DS.
http://www.inside-games.jp/article/2012/10/09/60400.html
http://www.inside-games.jp/article/2012/10/09/60400.html