yup, but sold out already. will let you know if i see those mini set around. the cheapest one i saw is lower than 10000yen for the full mini set. but usually full set is around 15000 yen as i remember.
possibly in a shop somewhere, but I haven't seen a full set on yja end for less than 20k yen in the past couple of years.
I've never seen a standard size (except for Paul's photo) and man is that guy awesome. I think I paid a lot for 3 mini's and I'm still missing two and I don't regret them for a second. They are so awesome.