That is a clean unit, I wouldn't hesitate to buy it, especially for $9K. Like Adam mentioned, don't let the "high mileage" scare you. Some members here have well over 20/30/40K miles and still running strong.
That looks like a clean ride, I’d have zero issues as long as the test ride proved smooth shifting up and down.
For reference, my buddy has a 2016 P1000, 7,XXX miles, oil swapped every 1K miles, never left his 10acre farm, it’s basically a turf/road queen - basically drives endless circles with his dogs every day - if I ever needed a P1K and he was selling - id take that machine all day long.
That engine is based on Africa Twin, those miles are low…..