ISRG stock down 10% after-hours trading