David, what is a PET scan?