$13k instead of $10k is still great for a tiny car!