Which PebbleTec surface is 9K? Is that in addition to the cost for regular plaster finish? The three different PebbleTec pebble finishes have a different feel. Regular PebbleTec is the "roughest" (very much like exposed aggregate), PebbleSheen uses smaller pebbles (medium "roughness") and PebbleFina is closest to plaster.
You can also upgrade to a quartz surface if you want a longer lasting finish than plaster. A quartz surface is also cheaper than a pebble surface.
See if your PB can give you some references that you can visit and "try" out their surfaces.
Q