How Much Will the Survey Cost ’23 Editor’s note (August 21st, 2023): This survey has been deactivated.