Table: red_camera_specs
Columns: frame_size
width
height
mpix
aspect_ratio
max_fps
lowest_possible_redcode_at_24_fps

Question: what's the width with frame size being 4.5k
SQL: SELECT "width" FROM red_camera_specs WHERE "frame_size" = '4.5K'