Welcome. I fell I love with that kit too!
I hadn't seen it before the one I bought but now seems its a fairly common. I bought mine for considerably less than that but then mine is an import, had next to no service history and I do like a haggle
Had mine a few months and still loving it, all serviced up and now starting with the mods and fun stuff.
Would say that there are loads out there to choose from and some bargains to be had if you can bide your time for the right one.