Has anyone received trade in numbers for 812s int he US? The best asking prices I have seen are in the $340K range and the cars look pretty basic....